Patrick LaVictoire; "An Introduction to Löb’s Theorem in MIRI Research"
https://gyazo.com/9c34b90c0ecd6150fbf2176b766184f5
http://intelligence.org/files/lob-notes-IAFF.pdf
証明可能性論理GL